QCSP on Reflexive Tournaments
نویسندگان
چکیده
We give a complexity dichotomy for the Quantified Constraint Satisfaction Problem QCSP(H) when H is reflexive tournament. It well-known that tournaments can be split into sequence of strongly connected components H_1,...,H_n so there exists an edge from every vertex H_i to H_j if and only i<j. prove has both its initial final component (possibly equal) size 1, then in NL otherwise NP-hard.
منابع مشابه
QCSP on Partially Reflexive Forests
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over partially reflexive forests. We obtain a complexity-theoretic dichotomy: QCSP(H) is either in NL or is NP-hard. The separating condition is related firstly to connectivity, and thereafter to accessibility from all vertices of H to connected reflexive subgraphs. In the case of partially reflexive paths...
متن کاملQCSP on Partially Reflexive Cycles - The Wavy Line of Tractability
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over partially reflexive cycles. We obtain a complexity-theoretic dichotomy: QCSP(H) is either in NL or is NP-hard. The separating conditions are somewhat esoteric hence the epithet “wavy line of tractability” (see Figure 5 at end).
متن کاملQCSP on Semicomplete Digraphs
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP(H) is either in P, is NP-hard or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicompletes enjoy only essentially unary polymorphisms, which is combinatorially interesting i...
متن کاملOn the Complexity of the Minimum Cost Homomorphism Problem for Reflexive Multipartite Tournaments
For digraphs D and H , a mapping f : V (D)→V (H) is a homomorphism of D to H if uv ∈ A(D) implies f(u)f(v) ∈ A(H). For a fixed digraph H , the homomorphism problem is to decide whether an input digraph D admits a homomorphism to H or not, and is denoted as HOMP(H). Digraphs are allowed to have loops, but not allowed to have parallel arcs. A natural optimization version of the homomorphism probl...
متن کاملCompilation for QCSP
We propose in this article a framework for compilation of quantified constraint satisfaction problems (QCSP). We establish the semantics of this formalism by an interpretation to a QCSP. We specify an algorithm to compile a QCSP embedded into a search algorithm and based on the inductive semantics of QCSP. We introduce an optimality property and demonstrate the optimality of the interpretation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2022
ISSN: ['1557-945X', '1529-3785']
DOI: https://doi.org/10.1145/3508069